newtype Fix f = Fix (f (Fix f))